Summary

Adds a Monte Carlo upgrade simulation that stress-tests the SSV Network v2.0.0 upgrade (ETH payments, effective balance accounting, SSV staking) on a mainnet fork under randomized workloads.

What it does

1. Forks mainnet — real operators, clusters, balances at the current block
2. Runs the v2.0.0 upgrade — deploys new modules, runs reinitializer, sets governance params
3. Discovers mainnet state — scans events to build operator/cluster pools
4. Runs a 30-day simulation loop — 11,500+ randomized actions per run:
   • ETH cluster operations: register/remove validators, deposit, withdraw, liquidate, reactivate
   • SSV cluster operations: deposit, liquidate, reactivate
   • Migration: SSV→ETH cluster migration (probability increases over time)
   • Staking: stake SSV, request unstake, withdraw unlocked, claim ETH rewards
   • Oracle: commit EB roots with 3-of-4 quorum, update cluster balances
   • Operators: register, remove, declare/execute fee changes, withdraw earnings
5. Checks 8 invariants every 5 epochs:
   • INV-1: ETH conservation (contract balance >= accounted sum)
   • INV-2: cSSV supply consistency
   • INV-3: Validator count consistency
   • INV-4: All SSV clusters migrated (end-only)
   • INV-5: accEthPerShare monotonically non-decreasing
   • INV-6: Operator earnings non-negative
   • INV-7: Staker rewards non-negative (end-only)
   • INV-8: No cluster balance underflow

Architecture (16 files, ~3,600 lines)

test/simulation/
├── types.ts              # SimulationState, ClusterRecord, OperatorRecord, etc.
├── rng.ts                # Seeded PRNG (deterministic — same seed = same run)
├── state-discovery.ts    # Event scanning to discover mainnet operators/clusters
├── bookkeeping.ts        # Cluster tuple tracking, ETH/SSV flow accounting
├── weight-schedule.ts    # Time-varying action weights (migration ramps up)
├── sim-logger.ts         # Action logging and summary statistics
├── invariants.ts         # 8 invariant checks
├── monte-carlo.test.ts   # Main Mocha test — setup, loop, assertions
├── index.ts              # Barrel exports
└── actions/
    ├── cluster-eth.ts    # ETH cluster actions (6)
    ├── cluster-ssv.ts    # SSV cluster actions (3)
    ├── migration.ts      # SSV→ETH migration
    ├── operators.ts      # Operator lifecycle actions (5)
    ├── staking.ts        # Staking actions (4)
    ├── oracle.ts         # Oracle quorum + EB updates
    └── index.ts          # WeightedActionSelector

Run results

Total: 11,500 actions (11,349 ok, 151 reverted) — 98.7% success
Duration: ~51 seconds wall-clock
All 8 invariants: PASSED (575 epoch checks)

Only reverts: MaxRequestsAmountReached() on unstake — expected behavior.

How to run

# Start Anvil fork (requires Foundry)
anvil --fork-url https://ethereum-rpc.publicnode.com --port 8545 &

# Run simulation (gated by RUN_FORK=true — won't run in normal CI)
RUN_FORK=true npx hardhat test test/simulation/monte-carlo.test.ts --network hardhat_forked

Test plan

• TypeScript compilation passes (0 errors in test/simulation/)
• Simulation runs end-to-end on mainnet fork (~51s)
• All 8 invariants pass across 575 periodic checks
• 98.7% action success rate (only expected reverts)
• Gated by RUN_FORK=true — does not affect normal CI

🤖 Generated with Claude Code